Vector–Logic Synthesis of Deductive Matrices for Fault Simulation

نویسندگان

چکیده

The main idea is to create vector-logic computing that uses only read-write transactions on address memory process large data. task implement new simple and reliable models methods of vector based primitive in the technology flexible interpretive simulation digital system faults. Vector-logic a computational over bits binary functionality, where input data addresses bits. A method for synthesis deductive matrices transporting fault lists proposed, which has quadratic complexity. development algorithm truth table. matrix intended verification tests using parallel faults, as addresses, transaction cells memory.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Comparison of Parallel and Deductive Fault Simulation Methods

A comparison of the central processing unit (CPU) time and storage requirements for the parallel and deductive fault simulation techniques is presented. Versions of a parallel and deductive simulator were implemented and the comparison performed on an IBM System/360 Model 67 by simulating representative circuits including shift registers, sequencers, counters, two memory units, and a processor....

متن کامل

a study on thermodynamic models for simulation of 1,3 butadiene purification columns

attempts have been made to study the thermodynamic behavior of 1,3 butadiene purification columns with the aim of retrofitting those columns to more energy efficient separation schemes. 1,3 butadiene is purified in two columns in series through being separated from methyl acetylene and 1,2 butadiene in the first and second column respectively. comparisons have been made among different therm...

simulation and design of electronic processing circuit for restaurants e-procurement system

the poor orientation of the restaurants toward the information technology has yet many unsolved issues in regards to the customers. one of these problems which lead the appeal list of later, and have a negative impact on the prestige of the restaurant is the case when the later does not respond on time to the customers’ needs, and which causes their dissatisfaction. this issue is really sensiti...

15 صفحه اول

Deductive Calculation Library for KEGG Pathway Simulation

KEGG, Kyoto Encyclopedia of Genes and Genomes, project consists of three types of data, pathways, hierarchies, and binary relations, that are used to represent biological knowledge. We present here a C++ library for e cient calculation of possible pathways from binary relations. In practice, the library is used to calculate metabolic pathways from the substrate-product relations of enzymes stor...

متن کامل

An Integration of Deductive Retrieval into Deductive Synthesis

Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of correct programs. In this paper, we describe an integration of both methods which combines their complementary benefits and alleviates some of their drawbacks. The core of our integration is an algorithm which automat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Èlektronnoe modelirovanie

سال: 2023

ISSN: ['2616-9525', '0204-3572']

DOI: https://doi.org/10.15407/emodel.45.02.016